Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods for SOC" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
: Formal Methods for an Informal World, Buch

Formal Methods for an Informal World

Lecture Notes in Computer Science -Band 13490

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 53,32*
: Formal Methods for Industrial Critical Systems, Buch

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science -Band 14952

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9 13, 2024. The 14 full pa…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
Guo-Qiang Zhang: Formal Methods for the Analysis of Biomedical Ontologies, Buch

Guo-Qiang Zhang, Licong Cui, Rashmie Abeysinghe
Formal Methods for the Analysis of Biomedical Ontologies

Synthesis Lectures on Data, Semantics, and Knowledge

The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almos…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.